IGR Report: GR/M37493/01
ثبت نشده
چکیده
Design tools for software engineering have found a good market, but they concentrate strongly on pictorial front-ends; they need to be supported by effective tools for analysis and transformation. This project aimed to make a small but seminal contribution towards the development of such tools. The goal was to draw together the advances made in a variety of programming calculi and the advances made independently in a variety of symbolic manipulation tools.
منابع مشابه
Synaptic responses to whisker deflections in rat barrel cortex as a function of cortical layer and stimulus intensity.
To study the synaptic and spike responses of barrel cortex neurons as a function of cortical layer and stimulus intensity, we recorded intracellularly in vivo from barbiturate anesthetized rats while increasing the velocity-acceleration of the whisker deflection. Granular (Gr; layer 4) cells had the EPSP with the shortest peak and onset latency, whereas supragranular (SGr; layers 2-3) cells had...
متن کاملar X iv : a st ro - p h / 04 08 01 0 v 1 3 1 Ju l 2 00 4 On the nature of the unidentified X - ray / γ - ray sources
We present a multiwavelength study of the environment of the unidentified X-ray/γ-ray sources IGR J18027−1455 and IGR J21247+5058, recently discovered by the IBIS/ISGRI instrument, onboard the INTEGRAL satellite. The main properties of the sources found inside their position error circles, give us clues about the nature of these high-energy sources.
متن کاملEvaluating user reputation in online rating systems via an iterative group-based ranking method
Reputation is a valuable asset in online social lives and it has drawn increased attention. How to evaluate user reputation in online rating systems is especially significant due to the existence of spamming attacks. To address this issue, so far, a variety of methods have been proposed, including network-based methods, quality-based methods and group-based ranking method. In this paper, we pro...
متن کاملChandra Localizations and Spectra of Integral Sources in the Galactic Plane: the Cycle 9 Sample
We report on 0.3–10 keV X-ray observations by the Chandra X-ray Observatory of the fields of 22 sources that were discovered as hard X-ray (20–100 keV) sources by the INTEGRAL satellite (“IGR” sources). The observations were made during Chandra’s 9th observing cycle, and their purpose is to localize the sources and to measure their soft X-ray spectra in order to determine the nature of the sour...
متن کاملOpposing regulation of BIM and BCL2 controls glucocorticoid-induced apoptosis of pediatric acute lymphoblastic leukemia cells.
Glucocorticoids are critical components of combination chemotherapy regimens in pediatric acute lymphoblastic leukemia (ALL). The proapoptotic BIM protein is an important mediator of glucocorticoid-induced apoptosis in normal and malignant lymphocytes, whereas the antiapoptotic BCL2 confers resistance. The signaling pathways regulating BIM and BCL2 expression in glucocorticoid-treated lymphoid ...
متن کامل